begin REQUIRE 100 NEW!ITEMS; itemvar x; INTEGER XX; integer array aa[0:99]; x ← ref!item(aa); X ← REF!ITEM(VALUE XX); X ← REF!ITEM(XX); end